From: Raimond Spekking <raymond@users.mediawiki.org>
Date: Wed, 21 Jan 2009 08:02:30 +0000 (+0000)
Subject: Follow up r45698 and r45857: Add new options to $wgDefaultUserOptions
X-Git-Tag: 1.31.0-rc.0~43330
X-Git-Url: http://git.cyclocoop.org/%28%5B%5E/404?a=commitdiff_plain;h=8f7344e0102ed8294b86567d02e88623c980b943;p=lhc%2Fweb%2Fwiklou.git

Follow up r45698 and r45857: Add new options to $wgDefaultUserOptions
---

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 6a5a2da3e3..b21a61e868 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -2383,6 +2383,8 @@ $wgDefaultUserOptions = array(
 	'rclimit'                 => 50,
 	'wllimit'                 => 250,
 	'hideminor'               => 0,
+	'hidepatrolled'           => 0,
+	'newpageshidepatrolled'   => 0,
 	'highlightbroken'         => 1,
 	'stubthreshold'           => 0,
 	'previewontop'            => 1,
@@ -2422,6 +2424,7 @@ $wgDefaultUserOptions = array(
 	'watchlisthideown'        => 0,
 	'watchlisthideanons'      => 0,
 	'watchlisthideliu'        => 0,
+	'watchlisthidepatrolled'  => 0,
 	'watchcreations'          => 0,
 	'watchdefault'            => 0,
 	'watchmoves'              => 0,